51![Acta Numerica http://journals.cambridge.org/ANU Additional services for Acta Numerica: Acta Numerica http://journals.cambridge.org/ANU Additional services for Acta Numerica:](https://www.pdfsearch.io/img/0492123f05b397d4f9c41d21b0033aea.jpg) | Add to Reading ListSource URL: www.ayasdi.comLanguage: English - Date: 2015-02-12 20:18:45
|
---|
52![Beyond Provable Security: Verifiable IND-CCA Security of OAEP Beyond Provable Security: Verifiable IND-CCA Security of OAEP](https://www.pdfsearch.io/img/58765d09fdc068e5c3e640406c01ba75.jpg) | Add to Reading ListSource URL: certicrypt.gforge.inria.frLanguage: English - Date: 2013-06-17 13:32:36
|
---|
53![Automatic Synthesis of Assumptions for Compositional Model Checking? Bernd Finkbeiner1 , Sven Schewe1 , and Matthias Brill2 1 Universit¨ Automatic Synthesis of Assumptions for Compositional Model Checking? Bernd Finkbeiner1 , Sven Schewe1 , and Matthias Brill2 1 Universit¨](https://www.pdfsearch.io/img/8cd259358f8135e5819f3e616605e8b0.jpg) | Add to Reading ListSource URL: cgi.csc.liv.ac.ukLanguage: English - Date: 2008-09-22 13:38:35
|
---|
54![ON THE UBIQUITY OF GORENSTEIN QUASI-ORDERS Leslie Cohn AP Academic Publications ON THE UBIQUITY OF GORENSTEIN QUASI-ORDERS Leslie Cohn AP Academic Publications](https://www.pdfsearch.io/img/6ebaa89edc18072da269cf8a85625cea.jpg) | Add to Reading ListSource URL: acadpubl.euLanguage: English - Date: 2012-10-10 08:40:26
|
---|
55![MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha MUTUAL COOPERATION AND UNILATERAL ALTRUISM IN A ONE-SHOT PRISONER’S DILEMMA - A COMPUTABILITY APPROACH MIKIO NAKAYAMA Abstract. We consider the one-shot Prisoner’s Dilemma played by programs or machines, and show tha](https://www.pdfsearch.io/img/6dde2683e1e5a771ce81447b60a26343.jpg) | Add to Reading ListSource URL: ies.keio.ac.jpLanguage: English - Date: 2015-05-07 04:10:57
|
---|
56![Weakly Equivalent Arrays J¨ urgen Christ and Jochen Hoenicke∗ arXiv:1405.6939v1 [cs.LO] 27 May 2014 Weakly Equivalent Arrays J¨ urgen Christ and Jochen Hoenicke∗ arXiv:1405.6939v1 [cs.LO] 27 May 2014](https://www.pdfsearch.io/img/7aa1b01a69898ec2956e61b17e6fbc9a.jpg) | Add to Reading ListSource URL: arxiv.orgLanguage: English - Date: 2014-05-27 20:45:29
|
---|
57![SEARCH, Computational Processes in Evolution, and Preliminary Development of the Gene Expression Messy Genetic Algorithm SEARCH, Computational Processes in Evolution, and Preliminary Development of the Gene Expression Messy Genetic Algorithm](https://www.pdfsearch.io/img/4a1d435dcbacd165dd466e1336a27e84.jpg) | Add to Reading ListSource URL: www.complex-systems.comLanguage: English - Date: 2012-10-10 16:17:59
|
---|
58![2-Covering spaces David M Roberts University of Adelaide October 1, 2009 2-Covering spaces David M Roberts University of Adelaide October 1, 2009](https://www.pdfsearch.io/img/a6f8dd881e88c4a0471ebf79d86eb1b1.jpg) | Add to Reading ListSource URL: ncatlab.orgLanguage: English |
---|
59![Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases3 Max J. Egenhofer University of Maine, National Center for Geographic Information and Analysis and Department of Survey Categorizing Binary Topological Relations Between Regions, Lines, and Points in Geographic Databases3 Max J. Egenhofer University of Maine, National Center for Geographic Information and Analysis and Department of Survey](https://www.pdfsearch.io/img/5623897d0091a15672a811322d1d0218.jpg) | Add to Reading ListSource URL: www.spatial.maine.eduLanguage: English - Date: 1998-04-04 01:13:59
|
---|
60![Inducing Class 4 Behavior on the Basis of Lattice Analysis Inducing Class 4 Behavior on the Basis of Lattice Analysis](https://www.pdfsearch.io/img/ce57f13edad11036b1ccb76f32c533e9.jpg) | Add to Reading ListSource URL: www.complex-systems.comLanguage: English - Date: 2012-06-20 13:21:04
|
---|